Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
331	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic
332	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
333	CTL C e n t e r fo r technology licensing at co r n e l l u n i v e r s i t y Add to Reading List Source URL: www.ctl.cornell.edu Language: English - Date: 2014-12-12 16:04:22 Logic in computer science CTL* Patent Intellectual property Government Monopoly Intellectual property law Temporal logic
334	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
335	Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin Czarnowski [removed] [removed] [removed] Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:34:06 Modal logic Model checking Robonaut Markov chain Kinematics Logic Linear temporal logic Temporal logic
336	An Algorithm for Computing the Restriction Scaffold Assignment Problem in Computational Biology Justin Colannino Godfried Toussaint School of Computer Science Add to Reading List Source URL: www-cgrl.cs.mcgill.ca Language: English - Date: 2005-07-11 16:19:18 Quantum mechanics Linear temporal logic Mathematics Function Functional analysis
337	Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor† Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2010-05-21 10:45:03 Linear temporal logic Functional analysis Distribution Representation theory
338	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
339	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking
340	Linear temporal logic for regular cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51

UPDATE